Verifying goal-oriented specifications used in model-driven development processes
نویسندگان
چکیده
منابع مشابه
Verifying Model Oriented Specifications through Animation
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to exploring Z specifications through animation, and illustrate the range of analyses that can be performed. We argue that, while a light weight approach does not give the same levels of assurance that an automated reasoning sys...
متن کاملImproving Requirements Specifications in Model-Driven Development Processes
Understanding the organizational context and rationales (the “Whys”) that lead up to system requirements (the “Whats”) help us to analyze the stakeholders’ interests and how they might be addressed, or compromised, by the different design alternatives. These aspects are very important for the ongoing success of the system but are not considered by current Model-Driven Engineering (MDE) methods....
متن کاملModel-Driven Development of Adaptable Service-Oriented Business Processes
Businesses typically structure their activities with workflows, which are often implemented in a rather static fashion in their IT systems. Nowadays, system requirements change rapidly as businesses try to maintain their competitive edge, calling for similar agility of the IT systems. To this end, we present StPowla, an approach that marries service oriented architecture, policies and workflows...
متن کاملG2C: Cryptographic Protocols from Goal-Driven Specifications
We present G2C, a goal-driven specification language for distributed applications. This language offers support for the declarative specification of functionality goals and security properties. The former comprise the parties, their inputs, and the goal of the communication protocol. The latter comprise secrecy, access control, and anonymity requirements. A key feature of our language is that i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Systems
سال: 2017
ISSN: 0306-4379
DOI: 10.1016/j.is.2016.06.011